<html>
<body>
<p>Changes the type annotation to a more specific one if possible.</p>
</body>
</html>